Three ways formally verified code can go wrong in practice
buttondown.com·5h
📜Proof Carrying Code
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4d
🎯Performance Proofs
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·22h·
Discuss: Hacker News
🔢Reed-Solomon Math
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·1h·
Discuss: Hacker News
🔐RISC-V Cryptography
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·7h
🔓Hacking
Intel signals strong comeback with next-gen Core Ultra 3 and Xeon 6+ chips
techspot.com·1d
🖥️Terminal Renaissance
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Magic LEDs
revk.uk·1d·
Discuss: www.revk.uk
⚡Homebrew CPUs
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·19h·
Discuss: DEV
🧩RISC-V
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·14h
📞Session Types
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·1h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
The Entire Process of Building an Open Source Analog ASIC
hackaday.com·1d
⚙️DIY Electronics
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
A new method to build more energy-efficient memory devices could lead to a sustainable data future
phys.org·13h
🧲Magnetic Recording
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·3h·
Discuss: Hacker News
🛡️RISC-V Security
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·2h·
Discuss: Hacker News
🛡️Error Boundaries
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs